Object - oriented Real - time Dependable Systems ( Feb 1996 ) Schedulability and Safety Analysis in the GraphicalCommunicating Shared Resources
نویسندگان
چکیده
Graphical Communicating Shared Resources is a formal language for the speciication and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various resource allocations and scheduling disciplines in order to produce a more dependable speciication. In addition, GCSR has a precise operational semantics and notions of equivalence that allow the execution and formal analysis of a speciication. In this paper, we show how to model a scheduling discipline and verify schedulability and safety properties within GCSR. We illustrate our method through a mobile robotic application.
منابع مشابه
Integrating Schedulability Analysis with UML-RT
The use of object-oriented techniques and methodologies to design real-time control systems appears to be necessary in order to deal with the increasing complexity of such systems. Recently, many object-oriented methods have been used for the modelling and designing of real-time control systems. We believe an approach that integrates the advancements in both object modelling and design methods,...
متن کاملساختار دهی آنی دادههای مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملSchedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models
The increasing complexity of real-time software has led to a recent trend in the use of high-level modeling languages for development of real-time software. One representative example is the modeling language ROOM (real-time object-oriented modeling), which provides features such as object-orientation, state machine description of behaviors, formal semantics for executability of models, and pos...
متن کاملAutomated Implementation Ofdistributed Real - Time Systems Usingreal - Time Object - Oriented
This paper presents a systematic, schedulability-aware method for automated implementation of complex distributed real-time control systems designed with real-time object-oriented models. Our approach derives tasks in each node of a distributed system by grouping mutually exclusive transactions. It then assigns each task a feasible priority and preemption threshold. To allow for the automated a...
متن کاملValue-driven resource assignment in object-oriented real-time dependable systems
This paper deals with object-oriented real-time dependable systems required to achieve the best usage of the resources even under adverse circumstances as transient overloads or component failures. Various possible tradeoffs among the different application requirements must be considered to allow a flexible management of system resources. On the basis of a simple formulation of the concept of o...
متن کامل